Nuprl Lemma : locl_wf
0,22
postcript
pdf
a
:Id. locl(
a
)
Knd
latex
Definitions
Knd
,
locl(
a
)
,
x
:
A
.
B
(
x
)
,
IdLnk
,
t
T
,
Id
Lemmas
Id
wf
,
IdLnk
wf
origin
a:Id. locl(a) 
Knd a:Id. locl(a) Knd x:A. B(x) T